9.1 서론: 코드 생성 AI의 불확실성과 결정론적 검증의 첫 번째 관문 9.1.1 LLM의 확률적 코드 생성과 문법적 오류(Syntax Error)의 발생 빈도 9.1.2 실행 전 검증(Pre-execution Verification)의 중요성과 비용 절감 효과 9.1.3 정적 분석 및 컴파일 오라클의 정의와 범위 설정 9.1.4 동적 테스트(Unit Test)와의 상호보완적 관계 및 파이프라인 위치